@shortcut-height: 28px;
@shortcut-font-size: 14px;
@shortcut-bg: #c7c8c8;
@shortcut-color: #6b6b6b;

.shortcut {
  position: relative;
  height: 28px;
  line-height: 28px;
  background: @shortcut-bg;

  &:extend(.clearfix all);

}

@media (min-width: @grid-float-breakpoint) {
  .shortcut-left  { .pull-left(); }
  .shortcut-right {
    .pull-right();

    // margin-right: -@navbar-padding-horizontal;

    ~ .shortcut-right {
      margin-right: 0;
    }
  }
}

.shortcut-nav {
  > li {
    float: left;
    list-style: none;
    margin-left: 10px;
  }

  > li > a {
    color: @shortcut-color;
    font-size: @shortcut-font-size;
    line-height: 28px;
    text-decoration: none;

    &:hover {
      color: @brand-primary;
    }
  }
}